منابع مشابه
Uniform interpolation and compact congruences
All seven intermediate logics admitting Craig interpolation also admit uniform interpolation; however, although the modal logic K admits both properties, its extension S4 admits only Craig interpolation and not uniform interpolation (see [1] for details and references). Uniform interpolation for a logic may be viewed as a weaker form of quantifier elimination. This idea is exploited in the mono...
متن کاملComplex Interpolation of Compact Operators
If (A0, A1) and (B0, B1) are Banach couples and a linear operator T : A0 +A1 → B0 +B1 maps A0 compactly into B0 and maps A1 boundedly into B1, does T necessarily also map [A0, A1]θ compactly into [B0, B1]θ for θ ∈ (0, 1)? After 42 years this question is still not answered, not even in the case where T : A1 → B1 is also compact. But affirmative answers are known for many special choices of (A0, ...
متن کاملScattered data approximation of fully fuzzy data by quasi-interpolation
Fuzzy quasi-interpolations help to reduce the complexity of solving a linear system of equations compared with fuzzy interpolations. Almost all fuzzy quasi-interpolations are focused on the form of $widetilde{f}^{*}:mathbb{R}rightarrow F(mathbb{R})$ or $widetilde{f}^{*}:F(mathbb{R})rightarrow mathbb{R}$. In this paper, we intend to offer a novel fuzzy radial basis function by the concept of so...
متن کاملH∞ Optimal Approximation for Causal Spline Interpolation
In this paper, we give a causal solution to the problem of spline interpolation using H∞ optimal approximation. Generally speaking, spline interpolation requires filtering the whole sampled data, the past and the future, to reconstruct the inter-sample values. This leads to non-causality of the filter, and this becomes a critical issue for real-time applications. Our objective here is to derive...
متن کاملInterpolation for McCain-Turner Causal Theories
We give a modal presentation of the McCain and Turner’s “causal theories”; we show how to formalise, in this framework, Foo and Zhang’s interpolation argument [Zhang and Foo, 2002].
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Analysis and Applications
سال: 1989
ISSN: 0022-247X
DOI: 10.1016/0022-247x(89)90074-7